____ _ _ _ _
| _ \ ___ | |_ (_) _ __ ___ __| | (_) __ _
| |_) | / _ \ | __| | | | '_ \ / _ \ / _| | | | / _ |
| _ < | __/ | |_ | | | |_) | | __/ | (_| | | | | (_| |
|_| \_\ \___| \__| |_| | .__/ \___| \__,_| |_| \__,_|
|_|
- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b
Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―
Dirichlet-to-Neumann-Operator
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
top
Der Dirichlet-to-Neumann-Operator (auch PoincarΓ©-Steklow-Operator genannt) ist in der Theorie der elliptischen partiellen Differentialgleichungen ein elliptischer, selbstadjungierter Pseudodifferentialoperator der Ordnung 1 {\displaystyle 1} , der die Dirichlet-Randbedingungen auf die Neumann-Randbedingungen abbildet. Im einfachen Fall bildet der Operator eine auf dem Rand einer kompakten, glatten Mannigfaltigkeit glatte Funktion auf die Γ€uΓere Normalenableitung der harmonischen Erweiterung ab.
Der Operator taucht in diversen inversen Problemen auf. Die Eigenwerte des Operators nennt man Steklow-Eigenwerte (nach Wladimir Andrejewitsch Steklow).cite-ref-1[1]
Contents
β’ Definition
β’ Allgemeine Form
β’ Literatur
β’ Einzelnachweise
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
Definition
Sei Ξ© Ξ© {\displaystyle \Omega } eine glatte, kompakte Mannigfaltigkeit der Dimension n {\displaystyle n} mit Rand β β Ξ© Ξ© {\displaystyle \partial \Omega } . FΓΌr eine Funktion f β β C β β ( β β Ξ© Ξ© ) {\displaystyle f\in C^{\infty }(\partial \Omega )} ist f ~ ~ β β C β β ( Ξ© Ξ© Β― Β― ) {\displaystyle {\widetilde {f}}\in C^{\infty }({\overline {\Omega }})} die harmonische Erweiterung, das heiΓt, es gilt Ξ Ξ f ~ ~ = 0 {\displaystyle \Delta {\widetilde {f}}=0} und f ~ ~ β£ β£ β β Ξ© Ξ© = f {\displaystyle {\widetilde {f}}\mid _{\partial \Omega }=f} .
Der Dirichlet-to-Neumann-Operator ist der Operator
D : C β β ( β β Ξ© Ξ© ) β β C β β ( β β Ξ© Ξ© ) {\displaystyle {\mathcal {D}}:C^{\infty }(\partial \Omega )\to C^{\infty }(\partial \Omega )} ,
definiert durch
D f = β β v ( f ~ ~ ) {\displaystyle {\mathcal {D}}f=\partial _{v}({\widetilde {f}})} ,
wobei
β β v ( f ~ ~ ) = β¨ β¨ β β ( f ~ ~ ) β£ β£ β β Ξ© Ξ© , v β© β© {\displaystyle \partial _{v}({\widetilde {f}})=\langle \nabla ({\widetilde {f}})\mid _{\partial \Omega },v\rangle }
die Γ€uΓere Normalenableitung ist.
Allgemeine Form
Ersetzt man die Bedingung Ξ Ξ f ~ ~ = 0 {\displaystyle \Delta {\widetilde {f}}=0} durch Ξ Ξ f ~ ~ = Ξ» Ξ» f ~ ~ {\displaystyle \Delta {\widetilde {f}}=\lambda {\widetilde {f}}} , dann erhΓ€lt man eine allgemeinere Form des Dirichlet-to-Neumann-Operators, welche mit D Ξ» Ξ» {\displaystyle {\mathcal {D}}_{\lambda }} notiert wird.cite-ref-2[2]
Literatur
β’ Michael E. Taylor: Partial Differential Equations II: Qualitative Studies of Linear Equations. Springer-Verlag, New York 1996, ISBN 978-1-4757-4187-2, S. 41
Einzelnachweise
cite-note-11. β Alexandre Girouard, Mikhail Karpukhin, Michael Levitin und Iosif Polterovich: The Dirichlet-to-Neumann map, the boundary Laplacian, and HΓΆrmander's rediscovered manuscript. Hrsg.: arXiv. 2021.
cite-note-22. β W. Arendt, A. F. M. ter Elst, J. B. Kennedy und M. Sauter: The Dirichlet-to-Neumann operator via hidden compactness. In: J. Funct. Anal. Band 266, 2014, S. 1757 ββ1786.